The isosceles triangle theorem